Boolean analysis - PDFSEARCH.IO - Document Search Engine

Boolean analysis
Results: 158

#	Item
71	Hierarchical Automatic Function Definition in Genetic Programming John R. Koza Computer Science Department Stanford University Add to Reading List Source URL: www.genetic-programming.com Language: English - Date: 2006-11-17 21:17:24 Abstract algebra Functions and mappings Propositional calculus Logic Circuit complexity Parity function Function Boolean data type Parity Mathematics Boolean algebra Mathematical analysis
72	Using Datalog with Binary Decision Diagrams for Program Analysis John Whaley, Dzintars Avots, Michael Carbin, and Monica S. Lam Computer Science Department Stanford University Stanford, CA 94305, USA Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:35:04 Computing Boolean algebra Diagrams Binary decision diagram Model checking Database theory Datalog Relational algebra Prolog Mathematics Data management Relational model
73	CS 243 Lecture 11 Binary Decision Diagrams (BDDs) in Pointer Analysis 1.  Relations in BDDs 2.  Datalog -> Relational Algebra Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2015-03-01 03:58:39 Model checking Mathematics COMPASS/Sample Code Man or boy test Boolean algebra Diagrams Binary decision diagram
74	Opinion Mining, Subjectivity and Factuality Rodolfo Delmonte University Ca’Foscari Italy [removed] Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2010-12-19 18:33:44 Propositional calculus Boolean algebra Logic Negation Sentiment analysis Linguistic modality Auxiliary verb Verb Grammatical polarity Grammar Linguistics Semantics
75	Journal of Machine Learning Research[removed] Submitted 07/03; Published ??/0? Logic, Trees and Kernels Adam Kowalczyk Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2005-03-22 08:15:12 Hilbert space Boolean algebra Fourier analysis Reproducing kernel Hilbert space Fourier transform Parity function Mathematical analysis Mathematics Abstract algebra
76	Operator-Theoretic Identification of Closed SubSystems of Dynamical Systems Oliver Pfante Nihat Ay SFI WORKING PAPER: [removed] Add to Reading List Source URL: www.santafe.edu Language: English - Date: 2015-02-09 11:42:31 Operator theory Spectral theory Boolean algebra Probability theory Sigma-algebra Support Lp space Ergodic theory Bounded operator Mathematical analysis Mathematics Measure theory
77	Tool-support for the analysis of hybrid systems and models Andreas Bauer Markus Pister Michael Tautschnig Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:27 Operations research Constraint programming Logic in computer science Electronic design automation Formal methods Satisfiability Modulo Theories Solver Boolean satisfiability problem Constraint satisfaction Theoretical computer science Applied mathematics Mathematics
78	Single- and Multi-Objective Genetic Programming: New Bounds for Weighted ORDER and MAJORITY Anh Nguyen Tommaso Urli Add to Reading List Source URL: www.tunnuz.net Language: English - Date: 2014-09-12 00:58:22 Mathematical optimization Applied mathematics Computational complexity theory Big O notation Pseudo-Boolean function Poisson distribution Expected value Linear programming relaxation Pareto distribution Mathematical analysis Mathematics Operations research
79	Владикавказский математический журнал 2012, Том 14, Выпуск 1, С. 67–[removed][removed]KANTOROVICH’S PRINCIPLE IN ACTION: AW ∗ -MODULES AND INJECTIVE BANACH LATTICES Add to Reading List Source URL: www.emis.de Language: English - Date: 2014-06-15 07:21:47 Operator theory Algebraic structures Linear algebra Mathematical structures Banach algebra Banach space Vector space Functional analysis Boolean algebra Algebra Mathematics Abstract algebra
80	Universit¨at Leipzig Fakult¨at f¨ ur Mathematik und Informatik Mathematisches Institut Diplomarbeit Add to Reading List Source URL: lips.informatik.uni-leipzig.de Language: English - Date: 2012-06-06 09:02:11 General topology Non-standard analysis Ultrafilter Ramsey theory Boolean algebra Stone–Čech compactification Filter Ideal Axiom of choice Mathematics Topology Order theory

UPDATE